Under review as a conference paper at ICLRM ETA L EARNING S HARED H IERARCHIES Jonathan Ho, Xi Chen, Pieter Abbeel UC Berkeley, Department of Electrical Engineering and Computer Science

Source URL: arxiv.org

• Machine learning
• Artificial intelligence
• Learning
• Statistical randomness
• Q-learning
• Metalearning
• Reinforcement learning
• Artificial neural network
• Meta learning
• Multi-armed bandit
• Markov decision process
• Feature learning

Towards Self-Verification in Finite Difference Code Generation Jan H¨ uckelheim1 , Ziqing Luo2 , Fabio Luporini1 ,Navjot Kukreja1 , Michael Lange1 , Gerard Gorman1 , Stephen Siegel2 , Matthew Dwyer3 , Paul Hovland4

Source URL: correctness-workshop.github.io

• Computing
• Computer programming
• Software engineering
• Operator theory
• Fortran
• OpenMP
• Parallel computing
• Hermitian adjoint
• Adjoint

ANFAHRTSPLAN / ROUTE DESCRIPTION RADI SSON BLU HOTEL , ZURIC H AIR PO R T Flughafenstrasse 8058 Zurich-Airport Tel. +, Fax. +E-Mail:

Source URL: cache.radissonhotels.com

The Honorable Secretary Alex Azar U.S. Department of Health and Human Services Hubert H. Humphrey Building 200 Independence Avenue S.W. Washington, D.C

Source URL: www.plannedparenthoodaction.org

• Health
• Planned Parenthood
• Women's health
• Family planning
• Preventive healthcare
• Mayor
• Title X
• Health care
• Michael Bloomberg

For the purpose of this document, a child is defined as anyone who has not yet reached their 18th birthday.  From this point, HackTheMidlands will be referred to as H ​ TM​. This policy applies exclusively to EVENTS

Source URL: hackthemidlands.co.uk

• Human behavior
• Childhood
• Abuse
• Social work
• Child welfare
• Child abuse
• Child sexual abuse
• Child protection
• Psychological abuse
• Children's rights
• National Society for the Prevention of Cruelty to Children
• Mandatory reporting in the United States

SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces ´ Erika Abrah´ am1 , John Abbott10 , Bernd Becker2 , Anna M. Bigatti3 , Martin Brain9 , Alessandro Cimatti4 , James H. Davenport5 ,

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Logic in computer science
• Computational complexity theory
• Formal methods
• Mathematics
• Electronic design automation
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Model checking

Breaking down the EIP-999 debate Pros, Cons… and e v e r y t h i n g in b e t w e e n. Where it all starts: The Parity Hack

Source URL: edcon.io

• Cryptocurrencies
• Blockchains
• Ethereum
• Cross-platform software
• Alternative currencies
• Concurrent computing
• Distributed computing
• Smart contract
• EIP
• Computing
• Ethereum Classic

CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez April 12, 2017 The Board will h

Source URL: clark.ohioboe.com

C L I M A T E C H A N G E A C T I O N PL AN REC OMMEND AT IONS T O T HE GOVERNOR Alaska Climate Change ACTION PLAN recommendations

Source URL: climatechange.gov.alaska.gov

• Geography of Alaska
• Alaska
• Global warming
• Arctic Ocean
• Climate change adaptation
• Climate resilience
• University of Alaska Fairbanks
• Individual and political action on climate change
• Iupiat
• Index of Alaska-related articles
• Arctic policy of the United States

brennan center for justice Reducing Racial and E t h n i c D i s pa r i t i e s I n J a i l s

Source URL: www.brennancenter.org

• Incarceration in the United States
• Criminal justice
• Brennan Center for Justice
• Politics of the United States
• United States